<html>
<head><meta charset="utf-8"><title>meeting 2019-05-24 · t-compiler/wg-diagnostics · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/index.html">t-compiler/wg-diagnostics</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html">meeting 2019-05-24</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="166465879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166465879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166465879">(May 24 2019 at 16:00)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1187">@WG-diagnostics</span> we're having a meeting in two hours right here</p>



<a name="166475292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475292">(May 24 2019 at 17:56)</a>:</h4>
<p>I've started creating a hackmd script for us to follow for meetings: <a href="https://hackmd.io/T9yQwLQ0SIOguR1auo3SHQ" target="_blank" title="https://hackmd.io/T9yQwLQ0SIOguR1auo3SHQ">https://hackmd.io/T9yQwLQ0SIOguR1auo3SHQ</a></p>



<a name="166475646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475646">(May 24 2019 at 18:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1187">@WG-diagnostics</span> meeting time <span aria-label="mantelpiece clock" class="emoji emoji-1f570" role="img" title="mantelpiece clock">:mantelpiece_clock:</span></p>



<a name="166475649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475649">(May 24 2019 at 18:00)</a>:</h4>
<p>Should we reuse the old <a href="https://github.com/rust-lang/rust/labels/WG-compiler-errors" target="_blank" title="https://github.com/rust-lang/rust/labels/WG-compiler-errors">https://github.com/rust-lang/rust/labels/WG-compiler-errors</a>?</p>



<a name="166475658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475658">(May 24 2019 at 18:00)</a>:</h4>
<p>or rename it at least?</p>



<a name="166475697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475697">(May 24 2019 at 18:01)</a>:</h4>
<p>huh, I didn't know that existed</p>



<a name="166475704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475704">(May 24 2019 at 18:01)</a>:</h4>
<p>It was used by me to gather things I thought I could get to, mostly <span aria-label="grimacing" class="emoji emoji-1f62c" role="img" title="grimacing">:grimacing:</span></p>



<a name="166475717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475717">(May 24 2019 at 18:01)</a>:</h4>
<p>it's super old and no one other than me ever used it</p>



<a name="166475719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475719">(May 24 2019 at 18:01)</a>:</h4>
<p>do we need a WG label (since A-diagnostics exists)?</p>



<a name="166475804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475804">(May 24 2019 at 18:02)</a>:</h4>
<p>I’m not sure we’d need a label. Unless we feel there’s value in separating tasks from this from general diagnostic improvements.</p>



<a name="166475836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475836">(May 24 2019 at 18:02)</a>:</h4>
<p>hmm... ok about that I have an idea</p>



<a name="166475842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475842">(May 24 2019 at 18:02)</a>:</h4>
<p>probably not, but I'd like to start categorizing in two axis using the existing A-diagnostics:<br>
easy &lt;-&gt; hard<br>
nice-to-have &lt;-&gt; urgent</p>



<a name="166475857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475857">(May 24 2019 at 18:02)</a>:</h4>
<p>so I've checked, we have a few priority labels on <code>A-diagnostics</code></p>



<a name="166475864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475864">(May 24 2019 at 18:02)</a>:</h4>
<p>around 5-10% or so have a priority label</p>



<a name="166475882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475882">(May 24 2019 at 18:03)</a>:</h4>
<p>we have no P-high, so that's good xD</p>



<a name="166475886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475886">(May 24 2019 at 18:03)</a>:</h4>
<p>mostly low, I'd assume</p>



<a name="166475906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475906">(May 24 2019 at 18:03)</a>:</h4>
<p>we have 18 P-medium: <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AA-diagnostics+label%3AP-medium" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AA-diagnostics+label%3AP-medium">https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AA-diagnostics+label%3AP-medium</a></p>



<a name="166475911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475911">(May 24 2019 at 18:03)</a>:</h4>
<p>and 700 unlabeled</p>



<a name="166475969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475969">(May 24 2019 at 18:04)</a>:</h4>
<p><span aria-label="shock" class="emoji emoji-1f628" role="img" title="shock">:shock:</span></p>



<a name="166475993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166475993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166475993">(May 24 2019 at 18:04)</a>:</h4>
<p>that means around 15% of all Rust issues are diagnostics issues</p>



<a name="166476034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476034">(May 24 2019 at 18:05)</a>:</h4>
<p>I think we can use priority labels for <code>nice-to-have &lt;-&gt; urgent</code></p>



<a name="166476129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476129">(May 24 2019 at 18:06)</a>:</h4>
<p>how do y'all feel about doing a quick triage of P-medium? Downvote means we should go into our main WG goals first.</p>



<a name="166476260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476260">(May 24 2019 at 18:08)</a>:</h4>
<p>(this is also about future meetings, I'll change the order in the hackmd accordingly)</p>



<a name="166476270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476270">(May 24 2019 at 18:08)</a>:</h4>
<p>(In that case +1)</p>



<a name="166476277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476277">(May 24 2019 at 18:08)</a>:</h4>
<p>If we do triage first then in future meetings it won’t take as long at the start of future meetings.</p>



<a name="166476301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476301">(May 24 2019 at 18:09)</a>:</h4>
<p>right</p>



<a name="166476313"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476313" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476313">(May 24 2019 at 18:09)</a>:</h4>
<p>Ok, let's go through them quickly then</p>



<a name="166476325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476325">(May 24 2019 at 18:09)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/22750" target="_blank" title="https://github.com/rust-lang/rust/issues/22750">https://github.com/rust-lang/rust/issues/22750</a> Two different versions of a crate interacting leads to unhelpful error messages</p>



<a name="166476333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476333">(May 24 2019 at 18:09)</a>:</h4>
<p><em>very old</em></p>



<a name="166476429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476429">(May 24 2019 at 18:10)</a>:</h4>
<p>Medium seems ok, since this is not just nice to have, it really helps with figuring out the problem</p>



<a name="166476435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476435">(May 24 2019 at 18:10)</a>:</h4>
<p>leaving at medium</p>



<a name="166476466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476466">(May 24 2019 at 18:11)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/23286" target="_blank" title="https://github.com/rust-lang/rust/issues/23286">https://github.com/rust-lang/rust/issues/23286</a> Very confusing error on attempt to pass <code>path::Path</code> by value</p>



<a name="166476491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476491">(May 24 2019 at 18:11)</a>:</h4>
<p>Still far from ideal, and would love to revisit it, but it is E-hard :-/</p>



<a name="166476557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476557">(May 24 2019 at 18:12)</a>:</h4>
<p>(like everything around E0277)</p>



<a name="166476587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476587">(May 24 2019 at 18:12)</a>:</h4>
<p>removing <code>E-mentor</code> because it'll be a huge undertaking for anyone to actually fix this</p>



<a name="166476593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476593">(May 24 2019 at 18:12)</a>:</h4>
<p>ok, so I'll add E-hard, too</p>



<a name="166476619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476619">(May 24 2019 at 18:13)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/23980" target="_blank" title="https://github.com/rust-lang/rust/issues/23980">https://github.com/rust-lang/rust/issues/23980</a> Coherence error messages can be inscrutable</p>



<a name="166476627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476627">(May 24 2019 at 18:13)</a>:</h4>
<p>wow, has like 10 PRs mentioning it</p>



<a name="166476717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476717">(May 24 2019 at 18:14)</a>:</h4>
<p>ok, also seems E-hard, I'm not sure where to even start</p>



<a name="166476740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476740">(May 24 2019 at 18:14)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/32777" target="_blank" title="https://github.com/rust-lang/rust/issues/32777">https://github.com/rust-lang/rust/issues/32777</a> Add error explanations for all error codes</p>



<a name="166476769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476769">(May 24 2019 at 18:15)</a>:</h4>
<p>meta issue, nothing to see here, is that really <code>P-medium</code>?</p>



<a name="166476771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476771">(May 24 2019 at 18:15)</a>:</h4>
<p>I think the checkmarks are not up to date</p>



<a name="166476788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476788">(May 24 2019 at 18:15)</a>:</h4>
<p>I think it is fine, as it isn't critical but makes to the general experience</p>



<a name="166476798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476798">(May 24 2019 at 18:15)</a>:</h4>
<p>It's already tagged <code>T-doc</code> as well, which I feel is appropriate</p>



<a name="166476865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476865">(May 24 2019 at 18:16)</a>:</h4>
<p>yea, also assigned, let's leave it at that</p>



<a name="166476867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476867">(May 24 2019 at 18:16)</a>:</h4>
<p>left a comment</p>



<a name="166476905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166476905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166476905">(May 24 2019 at 18:16)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/34421" target="_blank" title="https://github.com/rust-lang/rust/issues/34421">https://github.com/rust-lang/rust/issues/34421</a> error message for macro in wrong context is missing context</p>



<a name="166477055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477055">(May 24 2019 at 18:18)</a>:</h4>
<p>somewhat hard to decipher the problem</p>



<a name="166477058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477058">(May 24 2019 at 18:18)</a>:</h4>
<p>All of the macro errors need a revamp</p>



<a name="166477071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477071">(May 24 2019 at 18:18)</a>:</h4>
<p>so... P-medium seems ok</p>



<a name="166477094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477094">(May 24 2019 at 18:19)</a>:</h4>
<p>but I don't think it is medium</p>



<a name="166477109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477109">(May 24 2019 at 18:19)</a>:</h4>
<p>it might even be fixed given the current output</p>



<a name="166477134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477134">(May 24 2019 at 18:19)</a>:</h4>
<p>jseyfried wants there to be a note about expressions not being items</p>



<a name="166477153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477153">(May 24 2019 at 18:19)</a>:</h4>
<p>Yeah, and there's no complaint about <code>B</code> either..</p>



<a name="166477158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477158">(May 24 2019 at 18:19)</a>:</h4>
<p>still don't think it's medium</p>



<a name="166477162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477162">(May 24 2019 at 18:20)</a>:</h4>
<p>so users actually know what's going on, because it seems they are trying to create an item</p>



<a name="166477165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477165">(May 24 2019 at 18:20)</a>:</h4>
<p>ok</p>



<a name="166477292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477292">(May 24 2019 at 18:21)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/42226" target="_blank" title="https://github.com/rust-lang/rust/issues/42226">https://github.com/rust-lang/rust/issues/42226</a> Unclear errors with type annotations on functions instead of their traits</p>



<a name="166477418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477418">(May 24 2019 at 18:22)</a>:</h4>
<p>Medium, tag as diagnostic-suggestions too</p>



<a name="166477480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477480">(May 24 2019 at 18:23)</a>:</h4>
<p>overflow during drop-check on a recursive type <a href="https://github.com/rust-lang/rust/issues/44933" target="_blank" title="https://github.com/rust-lang/rust/issues/44933">#44933</a></p>



<a name="166477585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477585">(May 24 2019 at 18:24)</a>:</h4>
<p>P-low imo, or at least E-hard</p>



<a name="166477644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477644">(May 24 2019 at 18:25)</a>:</h4>
<p>marking as hard, continue</p>



<a name="166477659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477659">(May 24 2019 at 18:25)</a>:</h4>
<p>Both, I'd say</p>



<a name="166477796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477796">(May 24 2019 at 18:26)</a>:</h4>
<p>done</p>



<a name="166477798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477798">(May 24 2019 at 18:26)</a>:</h4>
<p>rustc recommends specialization for type parameters inside an extern block <a href="https://github.com/rust-lang/rust/issues/45092" target="_blank" title="https://github.com/rust-lang/rust/issues/45092">#45092</a></p>



<a name="166477836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477836">(May 24 2019 at 18:27)</a>:</h4>
<p><code>P-low</code>, <code>A-diagnostic-suggestions</code></p>



<a name="166477858"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477858" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477858">(May 24 2019 at 18:27)</a>:</h4>
<p>huh, is that literally just explaining more in the message?</p>



<a name="166477864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477864">(May 24 2019 at 18:27)</a>:</h4>
<p>so E-easy, too?</p>



<a name="166477897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477897">(May 24 2019 at 18:27)</a>:</h4>
<p><code>E-medium</code>, I think, if we want to actually suggest replacing the <code>T</code> with a concrete type</p>



<a name="166477928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166477928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166477928">(May 24 2019 at 18:27)</a>:</h4>
<p>but easy if only wording</p>



<a name="166478054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478054">(May 24 2019 at 18:29)</a>:</h4>
<p>you'd have to look at the callers to do that</p>



<a name="166478062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478062">(May 24 2019 at 18:29)</a>:</h4>
<p>and there probably aren't any yet</p>



<a name="166478076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478076">(May 24 2019 at 18:29)</a>:</h4>
<p>Pattern errors are too imprecise and should be removed in favor of MIR borrowck <a href="https://github.com/rust-lang/rust/issues/45600" target="_blank" title="https://github.com/rust-lang/rust/issues/45600">#45600</a></p>



<a name="166478086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478086">(May 24 2019 at 18:29)</a>:</h4>
<p>yeah, let's leave it at wording change</p>



<a name="166478145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478145">(May 24 2019 at 18:30)</a>:</h4>
<p>ooh, that one was in T-compiler some time ago</p>



<a name="166478222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478222">(May 24 2019 at 18:30)</a>:</h4>
<p>let's leave it as is, but marking as E-medium</p>



<a name="166478271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478271">(May 24 2019 at 18:31)</a>:</h4>
<p>No docs for error code E0280 <a href="https://github.com/rust-lang/rust/issues/50028" target="_blank" title="https://github.com/rust-lang/rust/issues/50028">#50028</a></p>



<a name="166478287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478287">(May 24 2019 at 18:31)</a>:</h4>
<p>seems like this belongs into the big docs issue</p>



<a name="166478294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478294">(May 24 2019 at 18:31)</a>:</h4>
<p><code>E-easy</code>, link from the tracking issue</p>



<a name="166478402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478402">(May 24 2019 at 18:32)</a>:</h4>
<p>closing, there's a checkbox in the tracking issue</p>



<a name="166478473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478473">(May 24 2019 at 18:33)</a>:</h4>
<p>cannot infer an appropriate lifetime for pattern should have fix suggestions <a href="https://github.com/rust-lang/rust/issues/50195" target="_blank" title="https://github.com/rust-lang/rust/issues/50195">#50195</a></p>



<a name="166478540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478540">(May 24 2019 at 18:34)</a>:</h4>
<p>pasted current output</p>



<a name="166478578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478578">(May 24 2019 at 18:34)</a>:</h4>
<p>still needs a suggestion on how to resolve the error I guess?</p>



<a name="166478637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478637">(May 24 2019 at 18:35)</a>:</h4>
<p>leaving as is, will revisit</p>



<a name="166478639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478639">(May 24 2019 at 18:35)</a>:</h4>
<p>Unclear "cannot infer" error message instead of expected "cannot move out of borrowed content" <a href="https://github.com/rust-lang/rust/issues/51759" target="_blank" title="https://github.com/rust-lang/rust/issues/51759">#51759</a></p>



<a name="166478668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478668">(May 24 2019 at 18:36)</a>:</h4>
<p>hmm... wontfix?</p>



<a name="166478766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478766">(May 24 2019 at 18:36)</a>:</h4>
<p>I was inclined at that</p>



<a name="166478786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478786">(May 24 2019 at 18:37)</a>:</h4>
<p>given matthew's comment</p>



<a name="166478966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478966">(May 24 2019 at 18:39)</a>:</h4>
<p>ack</p>



<a name="166478967"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166478967" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166478967">(May 24 2019 at 18:39)</a>:</h4>
<p>NLL: Poor borrow checker error message when extension of borrow happens indirectly (e.g. via method) <a href="https://github.com/rust-lang/rust/issues/54256" target="_blank" title="https://github.com/rust-lang/rust/issues/54256">#54256</a></p>



<a name="166479090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479090">(May 24 2019 at 18:40)</a>:</h4>
<p>we could state <em>why</em> a mutable borrow is happening</p>



<a name="166479098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479098">(May 24 2019 at 18:40)</a>:</h4>
<p>not just "mutable borrow occurs here"</p>



<a name="166479194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479194">(May 24 2019 at 18:42)</a>:</h4>
<p>that sounds reasonable, I would mark this <code>E-medium</code> or <code>E-hard</code> to discourage newcomers from jumping in blind</p>



<a name="166479245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479245">(May 24 2019 at 18:43)</a>:</h4>
<p>It should probably add a new span pointing at the right spot in loops</p>



<a name="166479252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479252">(May 24 2019 at 18:43)</a>:</h4>
<p>jop</p>



<a name="166479253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479253">(May 24 2019 at 18:43)</a>:</h4>
<p>Compiler panic using 'static_assertions' <a href="https://github.com/rust-lang/rust/issues/54327" target="_blank" title="https://github.com/rust-lang/rust/issues/54327">#54327</a></p>



<a name="166479336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479336">(May 24 2019 at 18:44)</a>:</h4>
<p>Maybe edit the title?</p>



<a name="166479337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479337">(May 24 2019 at 18:44)</a>:</h4>
<p>blocked on lazy norm, ignoring</p>



<a name="166479377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479377">(May 24 2019 at 18:44)</a>:</h4>
<p>should we keep the diagnostics label?</p>



<a name="166479392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479392">(May 24 2019 at 18:45)</a>:</h4>
<p>On mobile, is it still an ICE or is that fixed and it’s just a diagnostics improvement?</p>



<a name="166479423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479423">(May 24 2019 at 18:45)</a>:</h4>
<p>(assumed the latter, hence suggesting a rename)</p>



<a name="166479429"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479429" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479429">(May 24 2019 at 18:45)</a>:</h4>
<p>still an ICE</p>



<a name="166479434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479434">(May 24 2019 at 18:45)</a>:</h4>
<p>Ignore me then.</p>



<a name="166479443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479443">(May 24 2019 at 18:45)</a>:</h4>
<p>It's the default lazy norm ICE</p>



<a name="166479455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479455">(May 24 2019 at 18:46)</a>:</h4>
<p>confusing error message around trait object bound <a href="https://github.com/rust-lang/rust/issues/54779" target="_blank" title="https://github.com/rust-lang/rust/issues/54779">#54779</a></p>



<a name="166479524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479524">(May 24 2019 at 18:46)</a>:</h4>
<p>assigned, leaving as it is, will revisit</p>



<a name="166479535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479535">(May 24 2019 at 18:46)</a>:</h4>
<p>nll: strange suggestion to "consider removing the <code>*</code> <a href="https://github.com/rust-lang/rust/issues/54985" target="_blank" title="https://github.com/rust-lang/rust/issues/54985">#54985</a></p>



<a name="166479552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479552">(May 24 2019 at 18:47)</a>:</h4>
<p>E-easy, just remove the suggestion</p>



<a name="166479585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479585">(May 24 2019 at 18:47)</a>:</h4>
<p>NLL accepts higher-ranked subtype that non-NLL rejects <a href="https://github.com/rust-lang/rust/issues/57642" target="_blank" title="https://github.com/rust-lang/rust/issues/57642">#57642</a></p>



<a name="166479658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479658">(May 24 2019 at 18:48)</a>:</h4>
<p>not sure why marked as <code>A-diagnostics</code></p>



<a name="166479664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479664">(May 24 2019 at 18:48)</a>:</h4>
<p>That doesn't seem like a diagnostic issue</p>



<a name="166479668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479668">(May 24 2019 at 18:48)</a>:</h4>
<p>yeah</p>



<a name="166479709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479709">(May 24 2019 at 18:49)</a>:</h4>
<p>Infinite "recursive requirements" compiler error <a href="https://github.com/rust-lang/rust/issues/60603" target="_blank" title="https://github.com/rust-lang/rust/issues/60603">#60603</a></p>



<a name="166479748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479748">(May 24 2019 at 18:49)</a>:</h4>
<p>while it's a diagnostics issue, this is actually a trait solver issue</p>



<a name="166479820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479820">(May 24 2019 at 18:50)</a>:</h4>
<p>and the result of weird trait solving causes a bad diagnostic</p>



<a name="166479845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479845">(May 24 2019 at 18:50)</a>:</h4>
<p>leaving as is, but adding E-hard</p>



<a name="166479895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479895">(May 24 2019 at 18:51)</a>:</h4>
<p>wooo, done!</p>



<a name="166479907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479907">(May 24 2019 at 18:51)</a>:</h4>
<p>next time I'll do pre-triage before the meeting</p>



<a name="166479934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479934">(May 24 2019 at 18:51)</a>:</h4>
<p>now, let's get to business in the last 9 minutes: <a href="https://hackmd.io/T9yQwLQ0SIOguR1auo3SHQ" target="_blank" title="https://hackmd.io/T9yQwLQ0SIOguR1auo3SHQ">https://hackmd.io/T9yQwLQ0SIOguR1auo3SHQ</a></p>



<a name="166479935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479935">(May 24 2019 at 18:51)</a>:</h4>
<p>It's fine, from now on it should get faster and faster</p>



<a name="166479945"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166479945" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166479945">(May 24 2019 at 18:51)</a>:</h4>
<p>How are we doing on "Make diagnostics emitting independent of the happy code path"?</p>



<a name="166480009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480009">(May 24 2019 at 18:52)</a>:</h4>
<p>For <code>Parser</code> we're on track, everywhere else it's been piece meal</p>



<a name="166480037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480037">(May 24 2019 at 18:52)</a>:</h4>
<p>I’m somewhat out of the loop on what the plan has been to achieve these goals.</p>



<a name="166480043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480043">(May 24 2019 at 18:52)</a>:</h4>
<p>We need a more concerted "pack of locusts" approach on a per crate level</p>



<a name="166480047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480047">(May 24 2019 at 18:52)</a>:</h4>
<p>IIRC <span class="user-mention" data-user-id="119031">@Esteban Küber</span> suggested we'd create structs that have all data that's needed and put the actual diagnostic rendering code elsewhere?</p>



<a name="166480057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480057">(May 24 2019 at 18:52)</a>:</h4>
<p>Not sure if there was a meeting I missed here or at all hands.</p>



<a name="166480083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480083">(May 24 2019 at 18:53)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> I think that was just some informal discussions</p>



<a name="166480115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480115">(May 24 2019 at 18:53)</a>:</h4>
<blockquote>
<p>IIRC <span class="user-mention silent" data-user-id="119031">Esteban Küber</span> suggested we'd create structs that have all data that's needed and put the actual diagnostic rendering code elsewhere?</p>
</blockquote>
<p>I took that approach in some parts of NLL and felt it went well.</p>



<a name="166480121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480121">(May 24 2019 at 18:53)</a>:</h4>
<p>I think that <code>rustc_errors</code> should define a <code>trait AsError { fn to_error(self) -&gt; DiagnosticBuilder {} fn emit(self) {} }</code></p>



<a name="166480143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480143">(May 24 2019 at 18:54)</a>:</h4>
<p>and then each part of the compiler can make their own structs as needed and implement that trait</p>



<a name="166480190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480190">(May 24 2019 at 18:54)</a>:</h4>
<p>needs a session for <code>to_error</code>, right?</p>



<a name="166480208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480208">(May 24 2019 at 18:54)</a>:</h4>
<p>I think so, yes</p>



<a name="166480209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480209">(May 24 2019 at 18:54)</a>:</h4>
<p>or go through tls?</p>



<a name="166480240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480240">(May 24 2019 at 18:54)</a>:</h4>
<p>the problem is it depends on where in the compiler we are...<br>
some times we only have a <code>Session</code> (or a <code>ParseSess</code>)</p>



<a name="166480256"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480256" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480256">(May 24 2019 at 18:54)</a>:</h4>
<p>so... <code>emit</code> is defaulted?</p>



<a name="166480279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480279">(May 24 2019 at 18:55)</a>:</h4>
<p>heh, yea, maybe we need a trait for these, too in order to abstract away their API</p>



<a name="166480291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480291">(May 24 2019 at 18:55)</a>:</h4>
<p>didn't give it much thought ^_^</p>



<a name="166480305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480305">(May 24 2019 at 18:55)</a>:</h4>
<p>bascially offer the <code>Session</code> API but just skip impossible parts in <code>ParseSess</code></p>



<a name="166480308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480308">(May 24 2019 at 18:55)</a>:</h4>
<p>but my thinking is having each crate define their own builder structs</p>



<a name="166480391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480391">(May 24 2019 at 18:56)</a>:</h4>
<div class="codehilite"><pre><span></span>struct TypeError {
    expected: Ty,
    found: Ty,
    context: Option&lt;_&gt;,
    ...
}
</pre></div>



<a name="166480440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480440">(May 24 2019 at 18:56)</a>:</h4>
<p>maybe we can start small and have an <code>AsParseError</code> and <code>AsError</code> trait for the different situations?</p>



<a name="166480444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480444">(May 24 2019 at 18:56)</a>:</h4>
<p>and then</p>
<div class="codehilite"><pre><span></span>let type_err = TypeError::new(expected, found).with_context(context).build().emit();
</pre></div>



<a name="166480451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480451">(May 24 2019 at 18:56)</a>:</h4>
<p>we can think about merging later</p>



<a name="166480464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480464">(May 24 2019 at 18:56)</a>:</h4>
<p>sounds reasonable</p>



<a name="166480525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480525">(May 24 2019 at 18:57)</a>:</h4>
<p>ok, seems like a plan. Any volunteers for writing up an issue from this convo? Otherwise I'll do it XD</p>



<a name="166480535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480535">(May 24 2019 at 18:57)</a>:</h4>
<p>It would be nice to define the “session” type as an associated type or something like that. I can imagine in some places you would want a <code>TyCtxt</code>, not just a <code>Session</code>, to get the type of a <code>DefId</code> for some kinds of error output.</p>



<a name="166480618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480618">(May 24 2019 at 18:58)</a>:</h4>
<p>right</p>



<a name="166480624"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480624" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480624">(May 24 2019 at 18:58)</a>:</h4>
<p>ok, 2 minutes</p>



<a name="166480625"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480625" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480625">(May 24 2019 at 18:58)</a>:</h4>
<p>How are we doing on "Separate the diagnostics rendering from the compiler so it can be reused by others."</p>



<a name="166480637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480637">(May 24 2019 at 18:58)</a>:</h4>
<p>there is <a href="https://crates.io/crates/annotate-snippets" target="_blank" title="https://crates.io/crates/annotate-snippets">https://crates.io/crates/annotate-snippets</a></p>



<a name="166480657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480657">(May 24 2019 at 18:59)</a>:</h4>
<p>we should totally figure out how to use it even for just a few things</p>



<a name="166480683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480683">(May 24 2019 at 18:59)</a>:</h4>
<p>maybe add a feature flag so we can alternate between the diagnostic emitters?</p>



<a name="166480690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480690">(May 24 2019 at 18:59)</a>:</h4>
<p>not sure if that is even possible</p>



<a name="166480692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480692">(May 24 2019 at 18:59)</a>:</h4>
<p>the way everything is entangled</p>



<a name="166480703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480703">(May 24 2019 at 18:59)</a>:</h4>
<p>Are there things that crate is missing that we’d need?</p>



<a name="166480711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480711">(May 24 2019 at 18:59)</a>:</h4>
<p>probably, not sure</p>



<a name="166480772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480772">(May 24 2019 at 19:00)</a>:</h4>
<p>I haven't looked too closely</p>



<a name="166480791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480791">(May 24 2019 at 19:00)</a>:</h4>
<p>We could fork and go back into the fold if that slows us down</p>



<a name="166480796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480796">(May 24 2019 at 19:00)</a>:</h4>
<p>but we should probably just bite the bullet and try it out</p>



<a name="166480804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480804">(May 24 2019 at 19:00)</a>:</h4>
<p>oh, idea</p>



<a name="166480807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480807">(May 24 2019 at 19:00)</a>:</h4>
<p>we can add a new kind of output format</p>



<a name="166480821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480821">(May 24 2019 at 19:01)</a>:</h4>
<p>and see if we can just use it as a diagnostics renderer for now</p>



<a name="166480836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480836">(May 24 2019 at 19:01)</a>:</h4>
<p>instead of going all in even with the builder frontend</p>



<a name="166480837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480837">(May 24 2019 at 19:01)</a>:</h4>
<p>mmm...<br>
that should work</p>



<a name="166480869"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480869" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480869">(May 24 2019 at 19:01)</a>:</h4>
<p>and decouple DiagnosticBuilder and the emitter more than now, I like it</p>



<a name="166480884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480884">(May 24 2019 at 19:01)</a>:</h4>
<p>sounds like a plan</p>



<a name="166480956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480956">(May 24 2019 at 19:02)</a>:</h4>
<p>meeting time is over! I'll open two issues for our "newly" "discovered" ideas</p>



<a name="166480989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166480989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166480989">(May 24 2019 at 19:03)</a>:</h4>
<p>I'll also try to setup a new meeting time planner</p>



<a name="166481008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166481008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166481008">(May 24 2019 at 19:03)</a>:</h4>
<p>thanks everyone!</p>



<a name="166481025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166481025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166481025">(May 24 2019 at 19:03)</a>:</h4>
<p>for the later you could extend the exisitng annotated-snippets-rs ticket</p>



<a name="166481040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166481040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Esteban Küber <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166481040">(May 24 2019 at 19:03)</a>:</h4>
<p>thanks!</p>



<a name="166481041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/147480-t-compiler/wg-diagnostics/topic/meeting%202019-05-24/near/166481041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/147480-t-compiler/wg-diagnostics/topic/meeting.202019-05-24.html#166481041">(May 24 2019 at 19:03)</a>:</h4>
<p>will do, thanks, good idea</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>